Battle of the Logics

A concern of the organizers of the workshop on ‘Games, Action and Social Software’ is that although everyone is keen to use logic for the analysis of key concepts in this area, it is not so clear which logic or which tools from logic to use for investigating games, actions and social software. For this reason, they have organized a discussion session on the theme “Battle of the Logics: Temporal Logic, Dynamic Logic, Game Logic, Logic for Belief Revision . . . Are There too Many?” Participants in the discussion are logicians of four different stripes: a Temporal logician, a Dynamic logician, a Philosophical logician, and a Mathematical logician. As always, the computer scientist is also present. A Multiagent System Designer who uncharacteristically does not know a lot about logic has just been referred to the four logicians for advice.